1
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

Olaf Owe, Stein Krogdahl, Tom Lyche (auth.), Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
წელი:
2004
ენა:
english
ფაილი:
PDF, 4.29 MB
0 / 0
english, 2004
5
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

Olaf Owe, Stein Krogdahl, Tom Lyche (auth.), Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
წელი:
2004
ენა:
english
ფაილი:
PDF, 3.27 MB
0 / 0
english, 2004
6
ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe (eds.)
წელი:
1987
ენა:
english
ფაილი:
DJVU, 1.11 MB
0 / 0
english, 1987
7
ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe (eds.)
წელი:
1987
ენა:
english
ფაილი:
PDF, 2.81 MB
0 / 0
english, 1987